SEIR2T
id_total, 0.230946693
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.002617487
id_inclusion_check_mod_p, 0.002202181
id_groebner_time, 0.00963749
id_beautifulization, 0.09255854699999999
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 36.0
